On the Complexity of Noncommutative Polynomial Factorization
نویسندگان
چکیده
In this paper we study the complexity of factorization of polynomials in the free noncommutative ring F〈x1, x2, . . . , xn〉 of polynomials over the field F and noncommuting variables x1, x2, . . . , xn. Our main results are the following: • Although F〈x1, . . . , xn〉 is not a unique factorization ring, we note that variabledisjoint factorization in F〈x1, . . . , xn〉 has the uniqueness property. Furthermore, we prove that computing the variable-disjoint factorization is polynomial-time equivalent to Polynomial Identity Testing (both when the input polynomial is given by an arithmetic circuit or an algebraic branching program). We also show that variabledisjoint factorization in the black-box setting can be efficiently computed (where the factors computed will be also given by black-boxes, analogous to the work [KT90] in the commutative setting). • As a consequence of the previous result we show that homogeneous noncommutative polynomials and multilinear noncommutative polynomials have unique factorizations in the usual sense, which can be efficiently computed. • Finally, we discuss a polynomial decomposition problem in F〈x1, . . . , xn〉 which is a natural generalization of homogeneous polynomial factorization and prove some complexity bounds for it.
منابع مشابه
On Tinhofer's Linear Programming Approach to Isomorphism Testing
On the complexity of master problems Emergence on decreasing sandpile models 14:35 Kosolobov Durand, Romashchenko Faster lightweight Lempel-Ziv parsing Quasiperiodicity and non-computability in tilings On the Complexity of Noncommutative Polynomial Factorization
متن کاملEfficient Identity Testing and Polynomial Factorization over Non-associative Free Rings
In this paper we study arithmetic computations in the nonassociative, and noncommutative free polynomial ring F{x1, x2, . . . , xn}. Prior to this work, nonassociative arithmetic computation was considered by Hrubes, Wigderson, and Yehudayoff [HWY10], and they showed lower bounds and proved completeness results. We consider Polynomial Identity Testing (PIT) and polynomial factorization over F{x...
متن کاملLower bounds on matrix factorization ranks via noncommutative polynomial optimization
We use techniques from (tracial noncommutative) polynomial optimization to formulate hierarchies of semidefinite programming lower bounds on matrix factorization ranks. In particular, we consider the nonnegative rank, the positive semidefinite rank, and their symmetric analogues: the completely positive rank and the completely positive semidefinite rank. We study the convergence properties of o...
متن کاملCryptanalysis of a noncommutative key exchange protocol
In the papers by Alvarez et al. and Pathak and Sanghi a noncommutative based public key exchange is described. A similiar version of it has also been patented (US7184551). In this paper we present a polynomial time attack that breaks the variants of the protocol presented in the two papers. Moreover we show that breaking the patented cryptosystem US7184551 can be easily reduced to factoring. We...
متن کاملNew Bases for Polynomial-Based Spaces
Since it is well-known that the Vandermonde matrix is ill-conditioned, while the interpolation itself is not unstable in function space, this paper surveys the choices of other new bases. These bases are data-dependent and are categorized into discretely l2-orthonormal and continuously L2-orthonormal bases. The first one construct a unitary Gramian matrix in the space l2(X) while the late...
متن کامل